#!/bin/bash

echo
echo "#######################          miscSearch stopping           ########################"
echo

HOME=$(dirname $0)
echo "miscSearch.home = $HOME"
cd $HOME
conf=etc

ETC=$(cd "$conf"; pwd)
echo "config dir = $ETC"

ps -ef | grep java | grep "MiscServer 7500" | awk '{print $2}' | xargs kill -9

echo
echo "#######################          miscSearch stopped           ########################"
echo

